#include "rewrite_rules.h"

const uint32_t __rewrite[] = {8, 12, 14, 17, 20, 24, 26, 30, 3, 0, 3, 7, 1, 1, 2, 2, 1, 2, 3, 7, 3, 4, 3, 7, 1, 5, 3, 6, 3, 7, 1, 7};

void generate_rewrite_rules(parsing_ctx *ctx)
{
  ctx->rewrite = __rewrite;
}
